Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 31 Jul 2024 15:55:14 +0000 (17:55 +0200)
committerMoritz Muehlenhoff <jmm@debian.org>
Wed, 31 Jul 2024 15:55:14 +0000 (17:55 +0200)
commitce8e0680480ecbb491a824139a403bf5752702a1
tree610ac47f97b703e86a6972f98abf6e7150fdce5a
parentfab641e6f21d289049217ff3ed7862ff7fb6d133
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java